void display_properties_dialog();
